1

PEOPLE, PRACTICE, PITFALLS || A Secretary Speaks

Mark Herrmann and Laura Bozzelli
Journal:
Litigation
Year:
2007
Language:
english
File:
PDF, 766 KB
english, 2007
3

Refinement modal logic

Bozzelli, Laura, van Ditmarsch, Hans, French, Tim, Hales, James, Pinchinat, Sophie
Journal:
Information and Computation
Year:
2014
Language:
english
File:
PDF, 1008 KB
english, 2014
5

On timed alternating simulation for concurrent timed games

Laura Bozzelli, Axel Legay, Sophie Pinchinat
Journal:
Acta Informatica
Year:
2012
Language:
english
File:
PDF, 568 KB
english, 2012
6

Foundations of Boolean stream runtime verification

Bozzelli, Laura, Sánchez, César
Journal:
Theoretical Computer Science
Year:
2016
Language:
english
File:
PDF, 610 KB
english, 2016
7

Pushdown module checking

Laura Bozzelli, Aniello Murano, Adriano Peron
Journal:
Formal Methods in System Design
Year:
2010
Language:
english
File:
PDF, 754 KB
english, 2010
10

Complexity results on branching-time pushdown model checking

Laura Bozzelli
Journal:
Theoretical Computer Science
Year:
2007
Language:
english
File:
PDF, 330 KB
english, 2007
11

Model checking for process rewrite systems and a class of action-based regular properties

Laura Bozzelli
Journal:
Theoretical Computer Science
Year:
2006
Language:
english
File:
PDF, 371 KB
english, 2006
12

Complexity and succinctness issues for linear-time hybrid logics

Laura Bozzelli, Ruggero Lanotte
Journal:
Theoretical Computer Science
Year:
2010
Language:
english
File:
PDF, 1.14 MB
english, 2010
13

CaRet With Forgettable Past

Laura Bozzelli
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2009
Language:
english
File:
PDF, 408 KB
english, 2009
14

The complexity of one-agent refinement modal logic

Bozzelli, Laura, van Ditmarsch, Hans, Pinchinat, Sophie
Journal:
Theoretical Computer Science
Year:
2015
Language:
english
File:
PDF, 817 KB
english, 2015
16

Decision problems for lower/upper bound parametric timed automata

Laura Bozzelli, Salvatore La Torre
Journal:
Formal Methods in System Design
Year:
2009
Language:
english
File:
PDF, 775 KB
english, 2009
17

Verification of gap-order constraint abstractions of counter systems

Bozzelli, Laura, Pinchinat, Sophie
Journal:
Theoretical Computer Science
Year:
2014
Language:
english
File:
PDF, 838 KB
english, 2014
18

Visibly rational expressions

Bozzelli, Laura, Sánchez, César
Journal:
Acta Informatica
Year:
2014
Language:
english
File:
PDF, 387 KB
english, 2014
19

Lubiprostone reimbursement limitations revised in Switzerland

Bozzelli, Laura, Sánchez, César
Journal:
PharmacoEconomics & Outcomes News
Year:
2014
Language:
english
File:
PDF, 199 KB
english, 2014
20

Uniform strategies, rational relations and jumping automata

Bozzelli, Laura, Maubert, Bastien, Pinchinat, Sophie
Journal:
Information and Computation
Year:
2015
Language:
english
File:
PDF, 859 KB
english, 2015
21

Restricting use of enzalutamide?: "far from it", says NICE

Bozzelli, Laura, Sánchez, César
Journal:
PharmacoEconomics & Outcomes News
Year:
2014
Language:
english
File:
PDF, 199 KB
english, 2014
23

Costs are key for small businesses offering health insurance in US

Bozzelli, Laura, Sánchez, César
Journal:
PharmacoEconomics & Outcomes News
Year:
2014
Language:
english
File:
PDF, 218 KB
english, 2014
25

Hardness of preorder checking for basic formalisms

Laura Bozzelli, Axel Legay, Sophie Pinchinat
Journal:
Theoretical Computer Science
Year:
2011
Language:
english
File:
PDF, 320 KB
english, 2011